Alineación de Valor Esperado para Verificación Formal en Matemáticas
EVA: nueva técnica de alineación de valor esperado que permite recompensas continuas en verificación formal de matemáticas con Lean 4. Mejora la evaluación de pasos intermedios.
#logits de tokens